(distclean): Remove unnecessary directory deletion.
authorGlenn Morris <rgm@gnu.org>
Sun, 16 Sep 2012 18:56:10 +0000 (11:56 -0700)
committerGlenn Morris <rgm@gnu.org>
Sun, 16 Sep 2012 18:56:10 +0000 (11:56 -0700)
commit5607cd97418f63f5e3e6f16b4145eee7a3764489
tree5f052c92cb5aaae931a2b014992b4327c3592c23
parent729177397f0fef579b3fefb19858e51654072bba
(distclean): Remove unnecessary directory deletion.
nextstep/Makefile.in